python input as integer